* admin.el (manual-html-fix-headers, manual-html-fix-index-1):
authorGlenn Morris <rgm@gnu.org>
Mon, 30 Dec 2013 18:58:16 +0000 (10:58 -0800)
committerGlenn Morris <rgm@gnu.org>
Mon, 30 Dec 2013 18:58:16 +0000 (10:58 -0800)
commit496a565e0e2e75ca59e3557d857ae39cb92b7508
tree10b69173605e7271e45535d8a96089db8a0f8112
parentb26c5e67ffbb7d6743b3e3fedf1e8ce5d90fe2f5
* admin.el (manual-html-fix-headers, manual-html-fix-index-1):
Some updates for changes in Texinfo 5 output.
admin/ChangeLog
admin/admin.el